erfarit , anlände prins Eugen , som lemnade Kristiania den 17 juni påföljande tisdag till Leirdalsören.