Die Erstnennung von 1682 bezeichnet ihn als See Alper See.[