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