Reply to 1538177299492876288@PatrickHeneise Great city, and August is a great time to be in southern Norway!