Text this: Hermann Diels in seiner Bedeutung für die Geschichte der antiken Technik