Ich habe die Lösung des Falles gefunden: es lag an einer falschen Einstellung des Papierformates. Der Drucker wollte aus der oberen Kassette Papier ziehen, das ging deshalb natürlich nicht. Warum die Einstellung sich verändert hatte - ich weiß es nicht...