hade tjufven sålt för 7 kr.