Lexmark ernennt Allen Waugerman zum Präsident und CEO