"tokio" in DW Nachrichten am 2019-08-02