Annales regni Francorum
The locality and the lake were first mentioned in the Royal Frankish Annals in 822.