AUTHORS: Mention Manfred's contributions