AUTHORS: Add Jürgen Bubeck.