Multivariate extreme value distributions for stationary Gaussian sequences