Exakte Analyse von Garantiefällen