Seol mar théacs é seo: Der Pantograph in historischen Veröffentlichungen des 17. bis 19. Jahrhunderts