Happy birthday to us all: Judge rules song in public domain