direktören wid marin-ingcniörstaten E. O. Toll.