Added Kongruenz:wq