I checked Zootierliste for Aye-aye at Leipzig and it didn't list them, which is as much as I know.
I've just checked ZTL and it doesn't have Leipzig down as a current holder, my bad.
I thought they were in the entrance to Gondwanaland but I was obviously wrong, were they there originally?