Efter någon diskussion belöt man: