Testing for stationarity of functional time series in the frequency domain | Synapse