astronomiska observatoriet och 5,000 kr.