cf. Kastenträger Hohlkastenträger (arch.).