Schleifeninvarianten und Template für Wenn-noch-Zeit-ist hinzugefügt