invests in Dutch industrial tech firm Batenburg Techniek