Stav dette: Verifizierende rechnerinvariante Numerikmodule /