Wie groß darf ein Gartenhaus in Bayern ohne Baugenehmigung sein?