[Tijdreiziger]

Even with the increase in prices, electric heating is still much more expensive than gas heating (unless you use a heat pump, but then you're not mining anything).