Stämpelafgiften uppgick till närmare 8 500 kr.