Erich Grädel: Definability in Games. CSL 2010: 19-21