typedef enum AMPEL { 
  A_ROT, A_ROT_GELB, A_GRUEN, A_GELB};