Ober-Getzenberg, Holy Roman Empire (Germany)