Hvornår har Tychos navnedag?

Tychos har navnedag 16. juli.