On an assertion about Nash--Moser applications
By an example we show that Olaf Mueller's assertion about his new theorems being able to give anew some classical results previously obtained via applications of Nash--Moser type theorems is unfounded. We also give another example indicating some limitations in possible applications of related new inverse function theorems.