( 7857 ) t. f. Stadsingeniör.