Berlins snickare , omkring 9,000 till antalet,