En nog 1. Eind feest van het WK zwemmen in Eindhoven.