Springen van tien meter hoog in het water in Eindhoven: 'Niet doen als je hoogtevrees hebt'