4987 ) Rättens ombudsman.