German warship docks in Japan for 1st time in 20 years