BGer 1C_202/2017 vom 16. Januar 2018 , Festlegung von Betriebszeiten, - Bundesgericht (2018)