Software-Probleme bei der Deutschen Flugsicherung. Luftverkehr über Deutschland gestört