Dachprodukt/Endlichdimensional/Dimensionsangabe/Fakt/Name