gummy-relay: WebSocket-Vermittler für das Gummibären-Koop