Premise: Lausche (Czech: "Luž" ), is, at 793 m , the highest peak of the Lusatian Mountains and the highest mountain in the German part of the Upper Lusatia region. The conical mountain is part of the Zittau Mountains range, situated on the border of the German state of Saxony with the Bohemian region of the Czech Republic.
Hypothesis: The highest mountain in the German part of the Upper Lusatia region is Lausche, but it used to be another.