Wie groß darf eine Gaube in Bayern sein?