Коротко, о матче Россия - Германия, финал Олимпийских игр 2018.