20170212 world.europe: Germany elects 'anti-Trump' Steinmeier as new president