4275 ) Rättens ombudsman.