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