Function print_pdf(filename) prints the actual figure to a pdf file. The margins around the figure will be very small; the original aspect ratio will be retained. (c) 2026 fabien van mook 2026.08.20 release of this file within package "fvm-miscellaneous" under GNU GPLv3+