Translation of "Real property lease" in German