In case anybody is interested: