Formelformelmodell mit zwei staatlichen Optionen