An app for eXist-db based on German law texts marked up with TEI