Ik heb op Wikipedia een artikel gevonden over o.a. de Hargerplas, en op een oude topografische kaart staat de plas op deze plaats inderdaad bekend als Hargerplas.
Lijkt me afdoende, al is het wel fijn als zo'n bron een volgende keer wordt meegeleverd.

Bedankt voor het melden in ieder geval.