tjenstgörande domare att handlägga mälet.