Radbruch_formula