Summit Synthese-Tutorial