sålunda tydligen ej vistas i Norge i sommar.