Alligator som rømte fra Zoo Berlin under andre verdenskrig er død