Nicht Name, eher Spitzname.
Als die Uhr 1972 lanciert wurde, war sie wirklich "JUMBO", als die Nachfolgemodelle mit 36mm und 33mm auf den Markt kamen traf also die Bezeichnung "JUMBO" tatsächlich zu.
Der Spitzname hat sich für die 15202 bis heute gehalten.
Gruß

Matthias