File:HochheimFlag.png