Правда ли, что святой Патрик истребил в Ирландии пигмеев, ставших прообразом лепреконов?