4112 ) Rättens ombudsman.