diff --git a/documentation/deutsch/functions.md b/documentation/deutsch/functions.md
index 103641f..1fb5ccb 100644
--- a/documentation/deutsch/functions.md
+++ b/documentation/deutsch/functions.md
@@ -305,11 +305,12 @@ int wiringPiISR(int pin, int mode, void (*function)(unsigned int, long long int)
  > long long int: Zeitstempel  
  
 ``bouncetime``: Entprellzeit in ms, 0 ms schaltet das Entprellen ab   
+
 ``Rückgabewert``:   
  > 0 ... Erfolgreich  
 <!-- > <>0 ... Fehler, zur Zeit nicht implementiert -->
 
-Beispiel siehe wiringPiISRStop.
+Beispiel siehe waitForInterruptInit.
 
 
 ### wiringPiISRStop
@@ -327,26 +328,6 @@ int wiringPiISRStop (int pin)
 <!-- > <>0 ... Fehler, zur Zeit nicht implementiert -->
 
 
-**Beispiel:**
-
-```C
-static volatile int edgeCounter;
-
-static void isr(void) { 
-  edgeCounter++;
-}
-
-int main (void) {
-    wiringPiSetupPinType(WPI_PIN_BCM);
-    edgeCounter = 0;
-    wiringPiISR (17, INT_EDGE_RISING, &isr);
-    Sleep(1000);
-    printf("%d rinsing edges\n", )
-    wiringPiISRStop(17) ;
-}
-```
-
-
 ### waitForInterrupt
 
 Wartet auf einen Aufruf der Interrupt Service Routine (ISR) mit Timeout und Entprellzeit in Millisekunden.
@@ -387,6 +368,126 @@ int  waitForInterruptInit (int pin, int mode)
 > 0 ... erfolgreich  
 
 
+**Beispiel:**
+
+```C  
+/*
+ * isr_debounce.c:
+ *	Wait for Interrupt test program  WiringPi >=3.13 - ISR method
+ *
+ *
+ */
+
+#include <stdio.h>
+#include <string.h>
+#include <errno.h>
+#include <stdlib.h>
+#include <wiringPi.h>
+
+#include <time.h>
+
+#define BOUNCETIME 300
+#define TIMEOUT    10000
+//*************************************
+// BCM pins
+// IRQpin : setup as input with internal pullup. Connected with push button to GND with 1K resistor in series.
+// OUTpin : connected to a LED with 470 Ohm resistor in series to GND. Toggles LED with every push button pressed.
+//*************************************
+#define IRQpin     16
+#define OUTpin     12 
+
+int toggle = 0;
+
+/*
+ * myInterrupt:
+ *********************************************************************************
+ */
+
+static void wfi (unsigned int gpio, long long int timestamp) { 
+//  struct timeval now;
+  long long int timenow, diff;
+  struct timespec curr;
+
+  if (clock_gettime(CLOCK_MONOTONIC, &curr) == -1) {
+        printf("clock_gettime error");
+        return;
+  }
+  
+  timenow = curr.tv_sec * 1000000LL + curr.tv_nsec/1000L; // convert to microseconds
+  diff = timenow - timestamp;
+  
+  printf("gpio BCM = %d, IRQ timestamp = %lld microseconds, timenow = %lld, diff = %lld\n", gpio, timestamp, timenow, diff);
+  if (toggle == 0) {
+    digitalWrite (OUTpin, HIGH) ;
+    toggle = 1;
+  }
+  else {
+    digitalWrite (OUTpin, LOW) ; 
+    toggle = 0;
+  }
+}
+
+
+
+int main (void)
+{
+  int major, minor;
+  long long int ret;
+  
+  wiringPiVersion(&major, &minor);
+
+  printf("\nISR debounce test (WiringPi %d.%d)\n\n", major, minor);
+  
+  wiringPiSetupGpio() ;
+
+  pinMode(IRQpin, INPUT);
+  
+  // pull up/down mode (PUD_OFF, PUD_UP, PUD_DOWN) => down
+  pullUpDnControl(IRQpin, PUD_UP);
+
+  pinMode(OUTpin, OUTPUT);
+  digitalWrite (OUTpin, LOW) ;
+  
+  // test waitForInterrupt
+
+  ret = waitForInterruptInit (IRQpin, INT_EDGE_FALLING);
+  if (ret < 0) {
+    printf("waitForInterruptInit returned error %d\n", ret);
+    pinMode(OUTpin, INPUT);
+    return 0;
+  }
+  
+  printf("Testing waitForInterrupt IRQ @ GPIO%d, timeout is %d\n", IRQpin, TIMEOUT);  
+  ret = waitForInterrupt(IRQpin, TIMEOUT, 0);
+  if (ret < 0) {
+    printf("waitForInterrupt returned error %lld\n", ret);
+    wiringPiISRStop (IRQpin) ;  
+    pinMode(OUTpin, INPUT);
+    return 0;    
+  }
+  else if (ret == 0) {
+    printf("waitForInterrupt timed out %lld\n\n", ret);
+    wiringPiISRStop (IRQpin) ;  
+  }   
+  else {
+    printf("waitForInterrupt: falling edge fired at %lld microseconds\n\n", ret);     
+    wiringPiISRStop (IRQpin) ;  
+  }
+  
+  printf("Testing IRQ @ GPIO%d with trigger @ GPIO%d falling edge and bouncetime %d ms. Toggle LED @ OUTpin on IRQ.\n\n", IRQpin, IRQpin, BOUNCETIME, OUTpin);
+  printf("To stop program hit return key\n\n");
+  
+  wiringPiISR (IRQpin, INT_EDGE_FALLING, &wfi, BOUNCETIME) ; 
+ 
+  getc(stdin);
+  
+  wiringPiISRStop (IRQpin) ;  
+  pinMode(OUTpin, INPUT);
+
+  return 0 ;  
+}
+```
+
 ## Hardware PWM (Pulsweitenmodulation)
 
 Verfügbare GPIOs:  https://pinout.xyz/pinout/pwm