Group divisible designs with block-size four

It is proved that the obvious necessary conditions for the existence of a group divisible design with k=4 are sufficient, except for the cases corresponding to the non-existing transversal designs T[4,1;2] and T[4,1;6]