Mühlheim am Main, Oberwaldsee