Waschhallentore, Tore für Waschhallen, Waschanlagen