Das ist leider richtig, aber

die User sagen "Eure AS400 ist langsam"

und wenn ein Router spinnt, dann "funktioniert die AS400 nicht".