20180708 world.europe: German interior minister says dispute with Merkel is history