Mining & related operations

Main identifier (DDC): 622