Hello again,
The issue resolved by itself: The translation is now visible. I don’t know what happened because I had also tried clearing the browser cache but it had no effect earlier.
I’m happy that the translation works now. This topic may be closed.