MGI:5430110 EUCOMM-projects HEPD0822_4_B09 HEPD0822_4_C12 http://identifiers.org/mgd/MGI:5430110 targeted mutation 1a, Helmholtz Zentrum Muenchen GmbH Nlgn1<tm1a(EUCOMM)Hmgu>