!7

p {
  serveHttp(80);
  serveHttps_botCompany();
}

html {
  ret hrefresh("https://www.botcompany.de:8443/1013826/raw");
}