#+title: industrial capital