german mining equipment in jakarta