Ok, I am mortified. I tracked down the problem to gs being called to make a PDF from the PS ... WITHOUT any papersize option. So it is the default papersize and of course this is set in /etc/papersize which was set to "letter". So if anybody experiences a strange behaviour of cups or gs, check that file.
Still I don't know why the papersize specified in the document is being ignored.
Also I don't know, which ubuntu package generates the file /etc/papersize. I think the file should either not exist or be ignored. The papersize may depend on the printer and /etc/papersize will not care about that.
Ok, I am mortified. I tracked down the problem to gs being called to make a PDF from the PS ... WITHOUT any papersize option. So it is the default papersize and of course this is set in /etc/papersize which was set to "letter". So if anybody experiences a strange behaviour of cups or gs, check that file.
Still I don't know why the papersize specified in the document is being ignored.
Also I don't know, which ubuntu package generates the file /etc/papersize. I think the file should either not exist or be ignored. The papersize may depend on the printer and /etc/papersize will not care about that.