$KOMA wird wiederholt daran erinnert, etwa bei 0,007 einzusteigen – früher oder später wird es sich lohnen!