Kirkkolampi Kirkkolampi, a small lake in the city