grufingeniören E. F. Hoppe i Stockholm.