It was great fun to go swimming at Heijderbos.