Teknologiska institutets verksamhet under 1872 — 1873.