Vaccination against encephalitis