» Ordning ! » ropade domaren.