dersson i Stockholm och den sistnämda för 7,000 kr.