eö di nPetersburg den 31 juli.