4888 ) Rättens ombudsman.