elektricitet till driften af en stenkolsgrufva.