ordinarie domarens bewlijade tjenstledighet gär kill ända.