die stringente herleitung Synonym