a ) Bergsamtet i Bochum.