Domaren skrattade hjärtligt , men —öfverflödigt