Sanierungsarbeiten Senftenberger See