Wie hoch sollte ein Carport für ein Wohnmobil sein?