Efter en kortare diskussion beslöts,