Frage zu Artikel "Numerical Verification Methods and.."