Warnstreik am BER: Umbuchen oder Geld zurück!

Wegen eines Warnstreiks bleiben in Berlin am Mittwoch alle Flieger am Boden. Passagiere haben dann die Wahl: Ersatzbeförderung oder Erstattung? Was in solchen Fällen genau gilt.