Desktop Print heißt das kleine Tool - war ganz praktisch, ist jetzt aber rausgeflogen n/t