generalprokuralorn och andra magistratspeisöner.