# File automaten.rb, line 480
def
getZustaende
@zustaende
end