Title: Verifizierte Berechnung der inversiven Weierstrass-Funktion und der elliptischen Funktionen von Jacobi in beliebigen Maschinenarithmetiken