Welche Fischarten sind typisch für einen Hochgebirgssee?