Added definition of 'abgeschlossen' to definition of 'Topologischer Raum'