A flexible exporter for Graphics Gale files