lade sig grufarbetarne och afsjöngo psalmen tacksamhet.