Hans-Peter Manser: Happy birthday, Mr. President!