Tropensturm "Otto" tötet neun Menschen in Costa Rica