Wie groß darf ein Gartenpavillon sein?