4912 ) Rättens ombudsman.