The synchronization with Android devices now works in a more or less reliable fashion. There are still a lot of cleanups (See TODOs) and minor adaptations. This references #135