Article 31b F1

It shall be prohibited for real property to be leased or otherwise be made available to the DPRK, or for it to be used by or for the benefit of the DPRK, for any purpose other than diplomatic or consular activities.

It shall also be prohibited to lease from the DPRK real property which is situated outside the territory of the DPRK.