WK hockey: finale, Duitsland – België