Grubenunglück in Chile: Rettung der verschütteten Bergleute abgeschlossen