6.13 Maglev vehicle using HTS PMs