Uli - 2017-06-22

Meanwhile we realised that it is not the embedded fonts that are increasing the size of the .pdf files. Instead (due to the new concept of layers?) the generation of the post script code produces much overhead. Would be great if there was a way to reduce this....