Magnet levitating on high-temperature superconductor, cooled with liquid nitrogen