/* 
  rote und grüne LED blinken abwechselnd
  Dauer der Pause ist als Variable pause angelegt
  und kann so einfach geändert werden.
*/

// die Variablen
int led_rot = 13; // Pin der roten LED
int led_gruen = 12; // Pin der grünen LED
int pause = 500;  // Länge der Pause

void setup() {
  // put your setup code here, to run once:
  pinMode(led_rot, OUTPUT);
  pinMode(led_gruen, OUTPUT);
}

void loop() {
  // put your main code here, to run repeatedly:
  digitalWrite(led_rot, HIGH);  // rote LED ein
  digitalWrite(led_gruen, LOW);
  delay(pause);  // Pause
  digitalWrite(led_rot, LOW);  // rote LED aus
  digitalWrite(led_gruen, HIGH);
  delay(pause);  // Pause
}