Wie hoch muss der Schornstein sein beim Gartenhaus?