Wilder See, Ruhestein, Schwarzwald