stenkolsgrufva , tillhörande regeringen.