BGer 1C_217/2017 vom 20. April 2017 , Gesuch um Protokolleinsicht und - Bundesgericht (2017)