För kuriositetens skull kan nämnaä,