Mining for the purpose of extracting asbestos is prohibited. But the Burgenland quarries were not mining asbestos — they were mining crushed stone.