3707 ) Rättens ombudsman.