i en grufva i Westfalen.