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