Thank you John. I'll watch for the buds and blooms next year. I haven't been able to check the parent for sticky buds, as the grounds keepers trimmed all the suckering shoots. The branches are pretty much beyond my reach, and I had to jump several times to pick the seed I did get
I sowed the one seed in a pot outside. Perhaps it'll germinate come spring (though I'm not expecting it to come true to 'Baumannii'). Hmmm. I just read on the Missouri Botanical Garden site that 'Baumannii' doesn't set seed. Maybe there's another double-flowered cultivar that does set seed.
Thanks ever so much everyone!