When is a fuzzy topology topological