Man har inga andra detaljer: