"closed graph theorem" Deutsche bedeutung