Wie groß darf Dachgaube sein?