In hindsight, it would be fun to vote for "Pilotenstreik" as a name for it, too. • Dominik Schwind