“Berlin-Tegel and a 727 Jet Clipper on Pan Am’s Internal German Service.”