Duality for topological modular forms