Wie hoch darf der Keller sein?