SMS versenden: Program Synthesis for Quantum Applications