According to the stories of local residents, the depth of the lake reaches four meters.

That could be easily measured. For example take fishing rods with certain lengths.