The synchronization now works more or less reliable. There are still some minor issues for which future tickets must be created. This closes #135
The synchronization now works more or less reliable. There are still some minor issues for which future tickets must be created. This closes #135