Did the Polish city of Lublin have a German name?

Evidently not, as evidenced by the German language version of Wikipedia's article on Lublin, which calls it Lublin. https://de.wikipedia.org/wiki/Lublin

According to popular legend, the city's name originates from a Polish prince and the Bystrzyca River.

When the prince visited the unnamed settlement, he asked the local fishermen to catch a fish to help him name the town. The fishermen caught two types of fish: a pike (Polish: "szczupak") and a tench ("lin"). Unable to decide between the two, the prince asked, "Pike or tench?" ("Szczupak lub lin?"). Over time, these words merged to form the name Lublin, according to the legend.

https://lublin.eu/en/lublin/about-the-city/lublin-legends/#id_11

During the German occupation (1939-1944), Lublin was maintained as the administrative center of the so-called "Lublin District". The German authorities continued to use the name Lublin in official documents, although they attempted to "germanize" the city through the settlement of ethnic Germans. Today, Lublin is considered the largest Polish city whose name was not translated into German.