Olympische Sommerspiele in Tokio feierlich eröffnet