"tokio" in ZEIT Nachrichten am 2019-01-09