Vierdimensionale Einstein-Mannigfaltigkeiten mit Heisenberg-Symmetrie