so, jetzt habe ich es gefunden. Das Ding heißt 5HP18 und ist eigentlich ein E32 Getriebe. Hätte nicht gedacht, dass die noch im E38 verbaut wurden, hat aber den großen Vorteil, dass sie entscheidend günstiger sind als die neueren und in anbetracht meiner 400.000 Km anscheinend auch haltbarer.
