minor fix to dewiki_warteschlange.pb