I second that. Card names should not be changed.
Why?
If a person plays the game in German language, maybe because not speaking English that well - just to make it easier a bit to play, but likes looking streams, looking at guides or follows discussions in the forums. This person would be totally confused when cards have other names.
That’s what I mean whith saying “not translating proper names” (while not knowing if “proper names” is the right english word tbh ). I count card names and faction names under this category.