German industry employee numbers rise for first time in 2020

by