I'm playing around with flights for next summer, and when I looked for Berlin options, I need to use TXL to search for award flights but BER to search for paid tickets. So it's like an oddball hedging of bets about whether Brandenburg really will open at the end of October 2020 as now scheduled?