New ideas in coal mining : shortcuts and simple devices for getting improved and economical results in coal mining work / comp. from the regular issues of Coal age.