Title: Mining coal during World War II