Wie hoch darf ein Gartenhäuschen sein?