Efter en kort diskussion beslöts,