Runtz: Eine Ausführliche Einführung