Verbindungsdokument angepasst - muss Server zwingend neu gestartet werden?