Gerningsmannen var en portugis,