unknown: The Zollverein coal mine industrial complex (2020)