Insolvente Air Berlin zahlt fast 100 Mio. Euro aus Hilfskredit zurück