Controversy over translation of Norwegian national anthem