30 Prozent mehr Passagiere im Juli am Flughafen Ostende registriert