Names of Trondheim in different languages