1. Die Deutschen konnten ihre US-Tochter erst 1994 zurückkaufen und mussten bis dahin unter dem Namen Miles (Hauptsitz Pitsburgh) firmieren. ( Quelle: Die Welt 2001）