Tetraeder mit Kantenlänge a