4116 ) Rättens ombudsman.