13 juli 1887 blifvande arrendator och i vissa fall hans rättsinnehafvare ega optionsrätt , så att , derest arrendatorn via arrendetidens slut efter Kongl.