Frage zum E32 Hauptbremszylinder (Durchmesser) (Allgemein)

Hätte jetzt einen HBZ aus einem 89er 735i angeboten bekommen!
ist das der "große" mit 25mm Kolbendurchmesser.
Könnte das eventuell mal wer für mich herausfinden? Im ETK steht leider nichts darüber und der Besitzer konnte mir auch nicht bescheid geben!
Nicht das ich mir den kaufe und das ist es eh ein "kleiner" wie in meinem 635er!

Ich dank euch allen schonmal!

MFG Matthias