Occupation times of stationary gaussian processes