Sanierung des „Oberntiefer Weihers“