Nur der Kongress kann die Kulturinstitution umbenennen, urteilte ein Gericht in Washington. Trumps Name muss von der Fassade wieder verschwinden