Efter en kortare diskussionbeslöts