Cited passages: Sections 2–3, Theorems 1, 3 and 5 and equations (3.6), (3.13)–(3.15), printed pp. 105–110: Hilbert-space Gaussian mean limits, pooled two-sample covariance and weighted chi-squared norm laws. Independent curves are the special case with no serial covariance. Journal of the Royal Statistical Society Series B 75(1), pp. 103–122, DOI 10.1111/j.1467-9868.2012.01032.x.