Keskustelu:Kivilampi (järvi Jyväskylässä)
Viimeisin kommentti: 6 kuukautta sitten käyttäjältä J Hokkanen aiheessa Järven vanhanimi
Järven vanhanimi muokkaa
...on tosiaankin voinut olla Kivijärvi. Kunhan sen lähde löytyy, voisi siitä kirjoittaa tänne maininnan.--J Hokkanen (keskustelu) 10. marraskuuta 2023 kello 16.12 (EET)