Udo Proksch was born in a city that had how many residents on 1 January 2017 ?