END { print "zum endgueltigen Beenden druecken." ; }