I så fall måtte man hafva glömt,