Add Jürgen Stumpp's list of libraries.