UPDATE: Germany officially opens to Americans on June 20 (the news ...