IR in AGRS Handel | Konvertieren von InfraredFinance in Agoras: Currency of Tau auf SimpleSwap