New printer: ronkonta

After much discussion, we decided to replace sigelonta (the old color printer) with a new Laserjet 5200 printer called "ronkonta". Our existing black-and-white printer, provizonta, is probably not going to last much longer. In this way, we have a backup printer now and, when provizonta fails, ronkonta can take over.