Gereedschapsklok

Gereedschapsklok, geschenk van het personeel ter gelegenheid van het 40-jarig jubileum in 1959.