13 Juli 1887 blifvande arrendator och i vissa fall hans rättsinnehafvare ega optionsrätt , så att ,derest