Europa räknar omkring 5,500bergverk