Danke Stefan für die Aufklärung.
Für den Notfall nehm ich dann doch eine Schutzplane für den etwas empfindlichen Zeltboden mit.
Dass die Halle(n) groß genug sind, hab ich nie bezweifelt, nur darin kann man ja nicht zelten...
Ich hatte mir zum Größenvergleich die Sportplätze in der Nachbarschaft herangezogen, und so ein gemeines Fußballfeld hat ja ungefähr 7000 m² (also Platz für ca. 1000 dicht gestellte Zweimannzelte oder ca. 1200 eng geparkte Minis).
Erklärung: ein Mini verbraucht netto 4,5 m² Grundfläche, ein durchschnittliches Zweimannzelt 5 m² (plus Abspannung und Eingangszone)
Da sind Pavillons und Platz für übliche Campingsitzmöbel noch nicht eingerechnet.
Deswegen meine Besorgnis...
Aber wenn ihr zusätzliche "Optionsflächen" habt, dann wird das schon funktionieren.