Ende gut, alles gut.