Leipzig siegt gegen Porto.