Hi Jantje
thanks a lot for your quick response.
No, I did not get the error within the console. However, your post pointed my to the solution of the problem.
I figured out that I had to add an additional include which seems to be only necessary under Ubuntu.
I set the path these additional include to: /usr/share/arduino/hardware/arduino/cores/arduino
(see screenshot).
And that worked for me.
By the way:
I got an error then which read:
avrdude: stk500_recv(): programmer is not responding
I had to change the USB port to /dev/ttyACM0 (see screenshot) and that solved the problem.
Best regards
AgeBee