HILDESHEIM den 23 juhl.