Ma i minatori , esausti , non se ne accorgono : si addormentano subito sotto il cielo stellato .
Tales ruidos , sin embargo , no inquietan a los exhaustos trabajadores , que se duermen sin tardar bajo el cielo estrellado .