What Is Dutch Short For