Wurde "Trump" entfernt?: Richter fordert Ende von Namens-Wirrwarr um Kennedy-Center