samt masklningeniören i Arendal A . Petersen.