Yeah, I would say they belong to the Groß-Tuchel family. The term Tuchel is used colloquially for this type of plug and socket. A coarse distinction is made between large (Groß-) and small (Klein) Tuchel. The correct designation would be DINXXXXX, for instance the 3pin Groß-Tuchel would be DIN 41624.There are other variants with more pins (U47 etc) and for special applications, see M5 tape head connector.(last link)