Wie groß ist der deutsche Anteil am Bodensee?