air berlin

We have flights booked on Air Berlin over Thanksgiving made with AA miles. The latest info I can find is that the EU extended a lifeline to AB that will cover them until mid November while they look for a buyer. As of now, the flights are showing as ticketed. Does anyone know how these...