I recently went swimming in one of these submerged mines/quarries in North America. This one flooded during a severe hurricane: https://en.wikipedia.org/wiki/Portland_Brownstone_Quarries
[1] https://www.youtube.com/watch?v=LAL_d-5FsGQ - Tioga Pit Mine (225' deep)
[2] https://en.wikipedia.org/wiki/Portsmouth_Mine_Pit_Lake (450' deep)
That said, the Lake of Constance (shared by Switzerland, Germany and a bit of Austria) is at the deepest location 251 m deep. There is however nothing terrifying about that. And it's about twice as deep as your Portsmouth Mine.