I meant 9x12 film.
I got confused after bidding on a 6x9 Agfa on eBay.
That ultimately is what I'd like to get, but they're out of stock. Not that I'm in a great hurry.
The ICA Ideal I have actually has some film in the carrier, but I suspect it's long dead by now.