förut under en längre tid varit anstäld så- LONDON den 17 juli.