Wie hoch darf das Gartenhaus sein?