"formal validation" Deutsche bedeutung