Så kom Dom Pedro till Berlin.