Wie groß darf in Bayern ein Gartenhaus sein?