"We zijn diep bedroefd dat een van onze medewerkers is overleden", zegt een woordvoerder van het sociale medium in een verklaring. "We bieden hulp aan onze medewerkers en werken samen met de politie."
De politie ontving om 11.30 uur (lokale tijd) een melding dat iemand was gesprongen. Toen de hulpverleners ter plekke kwamen, was de man al overleden.