Title: Labour and production in the Ruhr coal field, 1918 to 1920