Encoders and the digital library at the European Parliament