duisburg population