Wie groß darf ein Gartenhaus sein ohne Baugenehmigung in Thüringen?