Tankardstown Copper Mine, IRELAND