ch.ethz.mxquery.extensionsModules