砾坑湖- 在挖出的砾石坑中充入地下水形成、常用于游泳的人工水体
künstliches Gewässer in einer ausgebaggerten Kiesgrube, die sich mit Grundwasser gefüllt hat und häufig zum Baden genutzt wird
