S. 01731 ) Rättens ombudsman.