http://identifiers.org/mgd/MGI:3043217 targeted mutation 1, Manfred Gessler Reporter|Null/knockout MGI:3043217 Hey1<tm1Gess> Hey1<->