Dornheckensee Ehem. Steinbruch