+ * Adds a header to the response. This method "wraps" the direct header()
+ * function call and so it can be done "generic". E.g. if a local
+ * application like my hub does not support redirects, this method can be
+ * kept empty or it can be done something else which would not be possible
+ * with a direct header() call.