A magnet levitates above a superconductor