Textmeddelande: Verifizierende rechnerinvariante Numerikmodule /