nämligen kostnaden för magistraten ensamt 15,600 kr.