ingeniören ) 9,000 rdr årligen.