Disabled both instances of #pragma all_inline .

If they are enabled, you get "Calling undefined function.".

Rev: lib/modules/Tools.pmod/Hilfe.pmod:1.2