Secure and highly available Output Management for the Public Sector