Lautersee, ein kleiner Bergsee westlich von Mittenwald in Oberbayern und südlich des Hohen Kranzbergs