inom kol- och koks-industrien.