To corroborate its seriousness, I actually had a ticket issued to BER in 2012 that was changed to TXL about a month before the flight.