Title: Korrektheitsnachweis eines Synchronisations-Protokolls für verteilte Datenbanksysteme