Under tiden spelade Portos ettslugt