15,000 ( 1875 : kr.