CHANGE: #33: Editor: lässt sich nicht horizontal vergrößern