Patents under the Luxembourg Law of 1880