Himmelhoch jauchzend (Extended Version)