( 3872 ) Magistraten.