Welche Maße darf ein Gartenhaus haben?