dito prima Kokes för gjuterier m.