UN-Gericht ordnet kein Ende von Militäreinsatz in Gaza an