Seol mar théacs é seo: Techniken und Technologien in der Eisenindustrie des 17. Jahrhunderts