Did you know we filled the library printers with 550’000 sheets of A4 paper in 2017? That’s up from 450’000 in 2016, and, well, it’s probably way too much. What can be done about this?