domarn i röd mantel inträde.