Hprt<tm1.1(CAG-Smpd1)Jhkh> Inserted expressed sequence MGI:5523896 t-Asm http://identifiers.org/mgd/MGI:5523896 targeted mutation 1.1, Johannes Kornhuber