Tcra/Tcrd<tm1.1(Tcra)Rsky> HYalpha<Idelta> http://identifiers.org/mgd/MGI:3773840 MGI:3773840 targeted mutation 1.1, Klaus Rajewsky