Wir konstruieren ein universelles und sogar logisch voll abstraktes Realisierbarkeitsmodell für die sequentielle funktionale Programmiersprache Call-by-name-FPC. Das Modell existiert in der Kategorie der Modest Sets über einer totalen kombinatorischen Algebra L bestehend aus observationalen Äquivalenzklassen von geschlossenen Termen der ungetypten Programmiersprache lambda+Error. Diese Programmiersprache ist eine Erweiterung des ungetypten Call-by-name-lambda-Kalküls um eine einzelne Konstante ERR und ein Konditionalkonstrukt, welches diese Konstante von jedem anderen syntaktischen Wert zu unterscheiden vermag. Die Universalität und die (konstruktive) logische volle Abstraktheit des Modells werden in drei Schritten gezeigt. Zunächst wird ein kanonisches universelles und logisch voll abstraktes Realisierbarkeitsmodell für FPC über der getypten kombinatorischen Algebra T der Äquivalenzklassen der geschlossenen FPC-Terme modulo beobachtbarer Gleichheit konstruiert. Anschließend wird gezeigt, dass der rekursive Typ U := mu alpha. void + [ alpha --> alpha ] universell ist, dass also jeder andere Typ ein definierbares Retrakt von U ist. Der universelle Typ induziert eine ungetypte kombinatorische Algebra U, welche applikativ äquivalent zur getypten kombinatorischen Algebra T ist. Folglich sind die Realisierbarkeitstopoi über T und U äquivalent und daher ist das Realisierbarkeitsmodell von FPC über U ebenfalls universell und logisch voll abstrakt. Schließlich wird bewiesen, dass jeder geschlossene FPC-Term vom Typ U in der ungetypten Sprache lambda+Error definierbar ist. Daher sind die kombinatorischen Algebren U und L applikativ äquivalent. Es folgt, dass das Realisierbarkeitsmodell über L universell und logisch voll abstrakt ist. Als Folgerung daraus beweisen wir eine Variante der Longley-Phoa-Vermutung.