Germany elects a president. Yes, this is a thing.