Altausseer See, Altaussee und Sarstein.