Three historic tide gauge records from Svalbard | Synapse