Mechanismus zur Synchronisation verteilter Datenmodelle für kollaborative Editoren.