Ein Grund, warum die Digitalisierung in Deutschland so schleppend vorankommt, ist, dass man PDFs nicht lochen kann.