Sanierung des Regenüberlaufbeckens Wilmshausen