Yes, that was a longstanding error, because initial german printings had similar (and even the same) names for both cards, so the online version used different ones. But since at least 2019 the German names are not changing any more in printing, it seems.