Na ja, wie die Betreffzeile schon sagt: was ist der unterschied zw. dvips und dvi2ps? ausser im syntax....

ri