och hvarvid saluterades af grufvans arbetare.