nied synnerligen stor högtidlighet i ( lermannstadt ; de besökandes antal hade der varit ungefär 5000.