Wie groß darf ein Gartenhaus sein ohne Baugenehmigung Bayern?