Brandstetter zieht sich als Höchstrichter zurück :