A superconductor levitating a permanent magnet