Thanks. I suspect that wiki article (and/or it's source) might be inaccurate though. The Hallein salt mine's own webpage say it was active many years before that. https://www.salzwelten.at/en/salzburg/discover-experience