German: mining

German verb 'mining' conjugated