von 1903- 1918 war er grün, heute ist er rot.
Dann nennen wir sie doch einfach Air-King. Aber wie unterscheiden wir sie dann von der alten Air-King ? Ach egal, sollte nicht mein Problem sein.