Wie groß war Bayern früher?