Efter en mycket listig diskussion bestämdes ,att