Men det synes ej hafva varit fallet: