"proof procedure" Deutsche bedeutung