Arsenalarbeiter [m] lavurer d'arsenal [m].