Astronauten ersetzen bei Außeneinsatz defekte Antenne an ISS