beispiel - Revision 3978: /flash_builder_4/wk/asdoc-output/wki/automaton