( 2825 Magistraten.