16k Mönchwaldsee, Raunheimer Waldsee