Happy King's Day! — Coronation waltz, performed for King Willem-Alexander (Live in Maastricht)