La comunidad judía, satisfecha con el nuevo nombre del pueblo de Matajudíos