Urban infill development potential in Germany: comparing survey and GIS data. Issue 1 (11th January 2021)