( 4712 ) Magistraten.