Thanks MatriXRat!
How stupid of me using C!
By now I have installed the Arduino software and the teensy loader and everything works as it should. I can edit the blinking time of the LED, compile and upload the code. The LED blinking rate changes accordingly. Obviously, I am able to edit, compile and upload code to the teensy 2.0 and make it work correctly!
I guess I will have to include the MIDI library into my new sketch now like this:
#include <MIDI.h>
/*
Blink
Turns on an LED on for one second, then off for one second, repeatedly.
This example code is in the public domain.
*/
// Pin 13 has an LED connected on most Arduino boards.
// Pin 11 has the LED on Teensy 2.0
// Pin 6 has the LED on Teensy++ 2.0
// Pin 13 has the LED on Teensy 3.0
// give it a name:
int led = 11;
// the setup routine runs once when you press reset:
void setup() {
// initialize the digital pin as an output.
pinMode(led, OUTPUT);
}
// the loop routine runs over and over again forever:
void loop() {
digitalWrite(led, HIGH); // turn the LED on (HIGH is the voltage level)
delay(100); // wait for a second
digitalWrite(led, LOW); // turn the LED off by making the voltage LOW
delay(100); // wait for a second
}