Thun, Cholerenschlucht, Oberhofen am Thunersee