hade emellertid kostat Sirius ' rederi 13,000 kr. , örn wi minnas rätt.