Kaserne bereits ausgebucht

Hallo zusammen.
Wie ich heute erfahren habe, ist die Kaserne, also die hauseigene Pension bereits ausgebucht.

Ihr solltet also rechtzeitig eine andere Pension buchen.

Aber:
Das große Zelt steht uns uneingeschränkt zur Verfügung.