dito dito af en observatorstjenst i astronomi vid dito ; 4,000 kr.