Givenn and Angenommen ... are these meant to be here?