https://texwelt.de/wissen/fragen/3201/tikzonimage-bilder-exportieren