Wie groß darf ein Gartenhäuschen sein?