BGer 1C_93/2017 vom 1. November 2017 , Bauvollendungsfrist (Verlängerung), - Bundesgericht (2017)