downloading problem "failed to fetch" via Update Manager still was not solved though. The workaround did work.
downloading problem "failed to fetch" via Update Manager still was not solved though. The workaround did work.