Redirecting to German pocket battleship Deutschland