Modified isoform(s) http://identifiers.org/mgd/MGI:5529337 Vhl<tm1.1Whkr> MGI:5529337 Vhl<M1L> targeted mutation 1.1, Wilhelm Krek