hitler in the mines