"degree of forcing reduction" Deutsche bedeutung