* event handler for checking and processing user input and
* for defining navigation
CASE event_id.
  WHEN 'Zurueck'.  navigation->goto_page( 'start.htm' ) .
  WHEN 'exit'.     navigation->exit( 'http://www.fh-augsburg.de' ) .
ENDCASE.