Semantic MediaWiki 3.1.0 released/de