Wie groß darf Gartenpavillon sein?