Hi. Is there something wrong with the repository right now? 

When I execute wget -O - http://jenkins.ibr.cs.tu-bs.de/download/repository.gpg.key | sudo apt-key add - , I get the following message:

--2016-11-23 11:23:42--  http://jenkins.ibr.cs.tu-bs.de/download/repository.gpg.key
Resolving jenkins.ibr.cs.tu-bs.de (jenkins.ibr.cs.tu-bs.de)... 134.169.35.161
Connecting to jenkins.ibr.cs.tu-bs.de (jenkins.ibr.cs.tu-bs.de)|134.169.35.161|:80... connected.
HTTP request sent, awaiting response... 403 Forbidden
2016-11-23 11:23:43 ERROR 403: Forbidden.

How to fix this? I cannot reinstall IBRDTN in my Raspberry Pi.

Thank you.