4124 ) Rättens ombudsman.