World War II. Petsamo–Kirkenes operation (Norway)