Wie viele Liter hat der Tegernsee?