Germany elects “anti-Trump” Steinmeier as president