20180721 world.europe: Knife attacker on Germany bus arrested; nine injured