2 Answers
Sorry, I already found out:
Just call configTime () again, with a new parameters (new NTP server name):
char* new_ntpServer = "europe.pool.ntp.org";
const long gmtOffset_sec = 0; const int daylightOffset_sec = 0; configTime(gmtOffset_sec, daylightOffset_sec, new_ntpServer);