Title: Semimorphe Arithmetik zur Automatischen Ergebnisverifikation auf Vektorrechnern