Before revision: References K. Goedel .
After revision: References K. G\"odel .