Seafile GmbH und Seafile Ltd. beenden Streit