Erdbeben bei Java : Ortung in weniger als fünf Minuten