kostade sålunda staten omkring 8 000 kr.