Adding @julianwachholz to AUTHORS.