JIRA service at DBIS has moved!

You can find the new version at
https://jira.dbis.rwth-aachen.de/jira

Please update your bookmarks.