The Garden of Eden Theorem: old and new