4497 ) Rättens ombudsman.