wanddicke (eines elektroinstallationsrohrs)