Doppelte Einträge in der Manifest-Datei entfernt. Hat irgendwann git mit
dem Merge-Tool wohl verursacht. :-?