SMS versenden: Relating Nominal and Higher-order Abstract Syntax Specifications