#define LED_ROT 13
#define LED_GELB 12
#define LED_GRUEN 11
#define TASTE 7

void setup()
{
  pinMode(LED_ROT, OUTPUT);  // Pin als Ausgang definieren
  pinMode(TASTE, INPUT);     // Pin als Eingang definieren
  digitalWrite(TASTE, HIGH); // Pullup an Pin einschalten
}

void loop()
{
  digitalWrite(LED_ROT, LOW);        // Rote LED ausschalten
  while(digitalRead(TASTE) == HIGH)  // So lange in der Schleife bleiben, wie Tastenpin HIGH ist
  {
  }
  // Hier kommt man nur hin, wenn die Schleife verlassen wird, also TASTE == LOW ist
  digitalWrite(LED_ROT, HIGH);
  delay(3000);
}