Schild & Vrienden-Prozess: Richter müssen nicht ausgetauscht werden