Ordinarie domaren har nämligen tjenstledighet,