REQ in COQ Handel | Konvertieren von Request in Coq Inu auf SimpleSwap