Richterwechsel am Bundesverfassungsgericht – Entlassung und Ehrung von Andreas Paulus sowie Ernennung von Heinrich Amadeus Wolff