1. Der damalige Gesundheitsminister Ernesto Salmerón hatte nämlich in vorauseilendem Gehorsam die Umbenennung in Robert-Koch-Krankenhaus angeboten. ( Quelle: TAZ 1993）