Vorfall über dem Atlantik: Warum stoßen Flugzeuge in der Luft nicht zusammen?

Der Himmel ist riesig, aber auch dort kann der Verkehr ein Problem darstellen. Rund 7500 Flüge waren am verkehrsreichsten Tag über Deutschland unterwegs. Wie kommt es, dass sie nicht kollidieren?