( 3717 ) Magistraten.