( 4257 ) Magistraten.