What Is Klaus Short For