Das Bundesgericht anerkennt Arbeitsüberlastung und Ferien explizit als sachliche, mit Art. 6 Abs. 1 EMRK vereinbare Gründe, die eine Änderung des einmal besetzten Spruchkörpers rechtfertigen (vgl. Urteile des Bundesgerichts 6B_1356/2016 vom 5. Januar 2018 E. 2.1 und E. 2.3.2, zur Publikation vorgesehen; 1B_79/2017 vom 21. September 2017 E. 4.2).