Efter en längre diskussion beslöts,