"banachizable" Deutsche bedeutung