S. 02071 ) Rättens ombudsman.