arrendator och hans rättsinnehafvare ega optionsrätt i enlighet med Kongl.