S. 01713 ) Rättens ombudsman.