Wie tief ist der Rottachsee?