Input: Maar tot dusver is dat niet het geval , " aldus Gminder .
Output: 

 None